:设P：我将去市里，Q：我有时间．命题“我将去市里，仅当我有时间”符号化为A:Q ® PB:P ® Q C:ØPÚQD:P «Q